computational semantics

[ˌkɔmpju(:)ˈteiʃ(ə)n(ə)l sɪˈmæntɪks]
  • 释义

    计算语义学;

数据更新时间:2024-12-23 00:04:55
1、

Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.

由于一阶逻辑能够描述软件构件的计算语义,因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。

互联网摘选

2、

On the Problem of Semantic Classification of Russian Adjectives from the Perspective of Computational Semantics

从计算语义学角度看俄语形容词的语义分类问题

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索
  • whatsapp 一款目前可供iPhone手机、Android手机、Windows Phone手机、Symbian手机和黑莓手机用户使用的、用于智能手机之间通讯的应用程序;
  • calculator[ˈkælkjuleɪtə(r)] n.计算器;
  • com[kɒm] abbr. 通用域名格式;commerce 商业;committee 委员会;comedy 喜剧;comunicaciones (Spanish=communications) (西班牙语)通信;
  • himself[hɪmˈself] pron.(反身代词)他自己;(用以加强语气)他亲自,他本人;
  • widower[ˈwɪdəʊə(r)] n.鳏夫;
  • note[nəʊt] n.记录;笔记;便条;短笺;(尤指政府间的)公文;文件;注释;注解;批注;按语;正式文件;钞票;纸币;乐音;音;音符;音键;琴键;(鸟兽的)独特叫声;音调;语调;口气;特征;氛围;信号音;警示音;歌;调;曲调;vt.注意;记录;对…加注释;指出;留意; 指出,表明; 记下; 着重提到,强调; 为 (书等) 加注; 用音符记;
  • witness[ˈwɪtnəs] n.目击者;见证人;v.出席;见证;
  • desire[dɪˈzaɪə(r)] n.愿望;渴望;肉欲;渴望的人/事;v.渴望;被某人吸引;产生性欲;
  • inquiry[ɪnˈkwaɪəri] n.调查,审查;询问,质问,质询,追究;探究;打听;
  • oral[ˈɔːrəl] adj.口头的,口述的;口服的;属于或关于嘴的;构成或使用言语的;n.(尤指外语考试中的)口试;
  • compass[ˈkʌmpəs] n.罗盘,指南针;圆规;界限;
  • so-so[ˈsəusəu] adj.一般的;普通的;中等的;不好也不差的;

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈